Enhancing ECA Rules for Distributed Active Database Systems

نویسندگان

  • Thomas Heimrich
  • Günther Specht
چکیده

ECA (event/condition/action) rules have been developed for central active database systems. In distributed active database systems the problem of inaccessibility of partial systems raises and thus the undecidability of ECA conditions referring to remote systems. This work proposes an enhancement of ECA rules for distributed active database systems to react also in the case of inaccessibility and undecidability. Therefore, the ECA evaluation will be enhanced to a strict function with the inaccessibility state Ω and a new alternative action AA enriches the classical ECA rules. The advantages and the usage of this approach are shown by an example of maintaining data consistency in distributed active database systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Behavior of Active Rules within Multi-Database Systems

This paper focuses on dimensions characterizing the execution of global ECA rules within multi-database systems (MDBS). The MDBS speci cities that a ect rule execution are identi ed and integrated in the dimensions currently used to characterize the active rule behavior. As a result, we propose a rule execution taxonomy for global rules. It is composed of dimensions structured in three levels t...

متن کامل

An Agent-Based Approach to Extending the Native Active Capability of Relational Database Systems

Event-condition-action (or ECA) rules are used to capture active capability. While a number of research prototypes of active database systems have been built, ECA rule capability in Relational DBMSs is still very limited. In this paper, we address the problem of turning a traditional database management system into a full-fledged active database system without changing the underlying system. Th...

متن کامل

An Active Rule Base Simulator based on Petri Nets

Event-condition-action rules, in active database systems, should be performed carefully, because their firings can produce inconsistent states in database systems. In this paper, an ECA rule base simulator is described, named ECAPNSim, which uses a Conditional Colored Petri Net model to depict ECA rules. It can model ECA rules, simulate their behavior, and perform a static analysis.

متن کامل

Symbolic verification of ECA rules

Event-condition-action (ECA) rules specify a decision making process and are widely used in reactive systems and active database systems. Applying formal verification techniques to guarantee properties of the designed ECA rules is essential to help the error-prone procedure of collecting and translating expert knowledge. The nondeterministic and concurrent semantics of ECA rule execution enhanc...

متن کامل

Concurrency control of nested cooperative transactions in active DBMS

Active database management systems(ADBMS) uses Event-Condition-Action rules (ECA rules). Each ECA rule speciies what action to be taken when an event occurs and the speciied condition is satissed. In this paper, we introduce a concurrency control scheme for handling nested cooperative transactions using detached mode ECA rules of an ADBMS. A state transition model has been proposed to specify d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002